“凡是思维高度发达的人都能辩证地思维;原始人不是思维高度发达的人;所以,原始人不能辨证地思维。”这一推理（）

• A、是三段论第一格的有效式
• B、违反了三段论“在前提中不周延的项,到结论中也不得周延”的规则
• C、违反了三段论“中项至少要周延一次”的规则
• D、是三段论第二格的有效式

根据已知条件“有C是B”和“所有A不是B”，能推出的正确结论是（）

• A、所有A不是C
• B、有A不是C
• C、所有C不是A
• D、有C不是A

请列出A、B两个判断形式的真值表,并回答A是否蕴涵B。

A:pVq B:p→q